On the equivalence of upward and downward inheritance reasoners
نویسندگان
چکیده
منابع مشابه
Upward Morley's theorem downward
By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...
متن کاملOn the Upward/Downward Closures of Petri Nets
We study the size and the complexity of computingfinite state automata (FSA) representing and approximatingthe downward and the upward closure of Petri net languageswith coverability as the acceptance condition. We show how toconstruct an FSA recognizing the upward closure of a Petri netlanguage in doubly-exponential time, and therefore the size is atmost doubly exponent...
متن کاملon translation of phatic communion and socio-cultural relationships between the characters of the novels
phatic communion is a cultural concept which differs across cultures. according to hofstede (2001), the u.s. tends to have individualistic culture; however, asian countries tend to have collectivistic cultures. these cultures view phatic communion differently. in individualistic cultures like u.s., phatic communion reflects speakers’ socio-cultural relationships in conversations. to see whether...
15 صفحه اولthe effect of explicit teaching of metacognitive vocabulary learning strategies on recall and retention of idioms
چکیده ندارد.
15 صفحه اولUpward and Downward Runs on Partially Ordered Sets
We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 1995
ISSN: 1012-2443,1573-7470
DOI: 10.1007/bf01534457